A Visualization Method for Knowledge Represented by General Logic Programs
نویسنده
چکیده
In this paper; we describe a visualization methodfor general logic clauses as the first step of a visualization of logic programs. Since we think inclusion is essential to represent an outline of knowledge, we propose a method based on Euler diagrams to visualize in$rence rules represented as a set of general logic clauses which consist of literals with no variable. We develop a prototype system and show that complex rules which are hard to understand in text are easy to understand by diagrams.
منابع مشابه
An Argumentation-Based Negotiation for Distributed Extended Logic Programs
The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules of a logic program are viewed as encoding arguments of an agent, and the meaning of the program is determined by those arguments that somehow (depending on the specific semantics) can defend themselves from the attacks of othe...
متن کاملForgetting and Conflict Resolving in Disjunctive Logic Programming
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one of our results shows that our notion of forgetting is completely captured by the classical forgetting. A transformation-based algorithm is also developed for computing the result of forgetting. We also provide an anal...
متن کاملUniversit a Di Pisa Programming by Combining General Logic Programs Programming by Combining General Logic Programs
The program composition approach can be fruitfully applied to combine general logic programs, i.e. logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) composition operations over general programs increases the knowledge representation capabilities of logic programming for non-monotonic reasoning. Examples of modular programming, hier...
متن کاملThe Viewpoints of General Physicians toward Continuing Medical Education Programs' Implementation Status and the Participants' Motivation
Introduction: Acquainting the viewpoints of Continuing Medical Education (CME) programs’ participants concerning different aspects of these programs is of special importance. The aim of this study was to determine the status of CME programs' implementation from general physicians’ viewpoints and their motivation for participating in these programs. Methods: In this descriptive cross-sectional ...
متن کاملCommon Heuristics For Parsing, Generation, And Whatever...
This paper discussers general hem'istics to control computation on symbolic constraints represented in terms of first-order logic programs. These heuristics are totally independen! of specific domains and tasks. Efficient computation for sentence parsing and generation naturally emerge fi'om these heuristics, capturing the essence of standar d parsing procedures and semantic head-driven generat...
متن کامل